control
Class OrchestratorKey
java.lang.Object
control.OrchestratorKey
public class OrchestratorKey
- extends java.lang.Object
Class to contain a couple of states which are in simulation with the action for that they are simulated
| Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
s
private SimulatedBy s
action
private Action action
OrchestratorKey
public OrchestratorKey(SimulatedBy s,
Action action)
getSimulatedBy
public SimulatedBy getSimulatedBy()
- gets the pair of states which are in this orchestrator key
- Returns:
- an object SimulatedBy that represents the pair of states
getAction
public Action getAction()
- gets the action which is part of this orchestrator key
- Returns:
- an action
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals in class java.lang.Object
hashCode
public int hashCode()
- Overrides:
hashCode in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object